difference between upper bound and supremum